退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:简化Lambda-mu微积分的指称语义与经典类型理论的新演绎系统
Ken Akiba;
机译:高阶通信系统演算的完全抽象指称语义
机译:保护依赖类型理论的表示语义
机译:滴答时钟作为依赖权伴随:时钟类型理论的表示语义
机译:经典证明的语义视图:类型论,分类论和指称表征
机译:自动推导代数数据类型的理论。
机译:基于古典测试理论和概括理论的慢性疾病植物植物质量体系中消化溃疡规模的开发与验证
机译:简化Lambda-mu微积分的指称语义和一个新的 经典类型理论的推导系统
机译:应用语义保证表示的方法和系统
机译:确定应用语义的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。